Electronic Books

Total Books: 1 - 2 /2
Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

Weiterlesen
Networking -- ICN 2005 (vol. # 3420)

The International Conference on Networking (ICN 2005) was the fourth conf- ence in its series aimed at stimulating technical ...

Weiterlesen
Total Books: 1 - 2 /2